vertex cover definition